home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / quintus / quintus0.lha / work

Text (32)
NameFormat# LinesSizeDate
als_2.06.0 Text File 61 950b 1992-04-03
auxiliary_2.06.2 Text File 897 27KB 1992-04-03
clausify_18.7 Text File 52 1KB 1992-04-03
command_2.06.2 Text File 382 17KB 1992-04-03
compile Text File 12 267b 1992-04-03
compile.in Text File 4 66b 1992-04-03
compile.out Text File 74 4KB 1992-04-03
cprolog_2.06.0 Text File 67 935b 1992-04-03
csplit_2.05.4 Text File 129 3KB 1992-04-03
exprules_18.4 Text File 55 2KB 1992-04-03
fms_2.06.0 Text File 175 6KB 1992-04-03
group_2.06.2 Text File 432 16KB 1992-04-03
hyper_2.06.2 Text File 1,957 67KB 1992-04-03
instdel_2.06.2 Text File 158 5KB 1992-04-03
interp_2.06.0 Text File 674 19KB 1992-04-03
library_2.06.2 Text File 905 23KB 1992-04-03
main_2.06.2 Text File 527 16KB 1992-04-03
p6a.clin2 Text File 52 1KB 1992-04-03
p6a.clin2.in Text File 3 26b 1992-04-03
p6b.clin2 Text File 52 1KB 1992-04-03
p6b.clin2.in Text File 3 26b 1992-04-03
pc_2.05.3 Text File 493 17KB 1992-04-03
prover_2.06.2 Text File 527 25KB 1992-04-03
quintus_2.05.8 Text File 52 802b 1992-04-03
quintus_compile_options_2.05.8 Text File 10 144b 1992-04-03
replace_2.06.0 Text File 676 25KB 1992-04-03
rewrite_2.06.2 Text File 2,819 96KB 1992-04-03
simplify_2.06.2 Text File 432 14KB 1992-04-03
spc_2.06.2 Text File 449 14KB 1992-04-03
transform_2.06.2 Text File 332 10KB 1992-04-03
try_2.06.2 Text File 760 20KB 1992-04-03
xvisor_2.05.8 Text File 305 9KB 1992-04-03